1. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen, 8491-
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C669L6
2. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010